Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
771	USING CONSTRAINTS TO ACHIEVE STABILITY IN AUTOMATIC GRAPH LAYOUT ALGORITHMS Karl-Friedrich B ohringer Add to Reading List Source URL: www.ee.washington.edu Language: English - Date: 2003-07-05 01:09:00 Graph operations Network flow Local consistency Force-based algorithms Topological sorting Flow network Line graph Graph Decomposition method Graph theory Constraint programming Graph drawing
772	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
773	Constraints[removed]:372–406 DOI[removed]s10601[removed]y New algorithms for max restricted path consistency Thanasis Balafoutis · Anastasia Paparrizou · Kostas Stergiou · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-11-10 00:37:14 Computing Local consistency Constraint satisfaction problem Decomposition method Constraint satisfaction Mathematical optimization Backtracking Algorithm AC-3 algorithm Constraint programming Software engineering Computer programming
774	doi:[removed]j.artint[removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-07 02:40:42 Mathematics Local consistency Constraint satisfaction Vector space Constructible universe Mathematical optimization Constraint logic programming Decomposition method Constraint programming Algebra Software engineering
775	Fast, accurate credit decisions IBM SOFTWARE GROUP Solution Brief Consumer lending and credit Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:16 Data modeling Computing Artificial intelligence Business rule management system IBM Loan origination Technology LogicTools Constraint programming ILOG Rule engines
776	Multi-way Dataflow Constraint Propagation in Realtime Collaborative Systems Kai Lin, David Chen and Geoff Dromey Chengzheng Sun School of Information and Communication Technology Add to Reading List Source URL: www98.griffith.edu.au Language: English - Date: 2007-10-15 00:42:00 Computing Local consistency Constraint satisfaction Constraint graph Constraint Constraint logic programming Constraint optimization Constraint programming Software engineering Computer programming
777	Abstract Development of a pmctzcal framework for commonsense reasoning about temporal relations in databases is the m a n task of this research effort Logc programming is the chosen computational paradigm and commerciall Add to Reading List Source URL: etd.ncsi.iisc.ernet.in Language: English - Date: 2012-05-03 01:00:53 Database management systems Prolog Constraint programming Programming paradigms Logic programming Temporal database Deductive database Visual Prolog Software engineering Computing Computer programming
778	High-arity Interactions, Polyhedral Relaxations, and Cutting Plane Algorithm for Soft Constraint Optimisation (MAP-MRF) Tom´aˇs Werner Center for Machine Perception Add to Reading List Source URL: cmp.felk.cvut.cz Language: English - Date: 2008-08-11 10:36:23 Relaxation Mathematics Combinatorial optimization Linear programming Linear programming relaxation
779	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-10-07 15:19:25 Computer programming Constraint satisfaction Search algorithm Algorithm Mathematical optimization Local consistency Backtracking Greedy algorithm Control theory Constraint programming Mathematics Software engineering
780	Guiding Planner Backjumping Using Verifier Traces Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 07:53:49 Artificial intelligence Search algorithms Complexity classes Backjumping Backtracking Constraint satisfaction problem Model checking NP IP Theoretical computer science Applied mathematics Constraint programming

UPDATE